2

Tinkerbell Is Chaotic

Year:
2011
Language:
english
File:
PDF, 563 KB
english, 2011
13

Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests

Year:
2007
Language:
english
File:
PDF, 149 KB
english, 2007
14

Efficient handling of universally quantified inequalities

Year:
2009
Language:
english
File:
PDF, 503 KB
english, 2009
15

A branch and bound algorithm for numerical Max-CSP

Year:
2010
Language:
english
File:
PDF, 801 KB
english, 2010
18

Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems

Year:
2007
Language:
english
File:
PDF, 795 KB
english, 2007
40

Interval-based Solving of Hybrid Constraint Systems

Year:
2009
Language:
english
File:
PDF, 182 KB
english, 2009
42

172

Year:
2015
Language:
english
File:
PDF, 53 KB
english, 2015
49

A branch and bound algorithm for quantified quadratic programming

Year:
2017
Language:
english
File:
PDF, 903 KB
english, 2017